Exploring Structural Properties of Petri Nets in Matlab
نویسندگان
چکیده
The standard approach to structural properties of Petri nets (such as boundedness, conservativeness, repetitiveness and consistency) is based on the compatibility of different systems of linear inequalities. Unfortunately the direct usage of this approach is unsuitable for implementation in the Petri Net Toolbox (recently developed as an analysis and design instrument integrated with MATLAB), because MATLAB offers no facilities for inequality resolution. The paper proposes a technique that allows converting the standard formulation referred to above into a MATLAB tractable problem. This technique exploits the systems of linear inequalities as constraints for an adequate objective function, minimised by a linear programming routine. Both theoretical background and the implementation in the Petri Net Toolbox are presented. Two examples illustrate the effectiveness of the proposed technique as well as its usefulness for computer-based training.
منابع مشابه
Time Management Approach on a Discrete Event Manufacturing System Modeled by Petri Net
Discrete event system, Supervisory control, Petri Net, Constraint This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملPetri Nets approach to simulate and control of Flexible Manufacturing Systems
This paper presents deadlock prevention are use to solve the deadlock problem of flexible manufacturing systems (FMS). Petri nets have been successfully as one of the most powerful tools for modeling of FMS. Their modeling power and a mathematical arsenal supporting the analysis of the modeled systems stimulate the increasing interest in Petri nets. With the structural object of Petri nets, sip...
متن کاملElementary Siphons of Petri Nets and Deadlock Control in FMS
For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are often utilized to deal with deadlocks caused by the sharing of resources in flexible manufacturing system (FMS) which is developing the theory of efficient strict minimal siphons of an S3PR. Analyzer of Petri net models and their P-invariant analysis, and deadlock control are...
متن کاملPetri Net Toolbox – Teaching Discrete Event Systems under Matlab
A MATLAB toolbox has been developed to handle the basic problems of discrete event dynamical systems that are modeled by Petri nets. In the Petri Net Toolbox five types of Petri nets (untimed, transition-timed, place-timed, stochastic and generalized stochastic), with finite or infinite capacity, can be used. A user-friendly graphical interface allows activating three simulation modes (accompan...
متن کامل